LIHAT SEMUA: Python symbolic derivative